// Copyright (c) 2012 Ecma International.  All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.

/*---
esid: sec-setintegritylevel
description: >
    of 'O' is set from true to false and other attributes of the
    property are unaltered
includes: [propertyHelper.js]
---*/

function Test() {
    var obj = {};

    Object.defineProperty(obj, "foo", {
      value: 10,
      writable: true,
      enumerable: true,
      configurable: true
    });
    var preCheck = Object.isExtensible(obj);
    Object.seal(obj);

    if (!preCheck) {
      throw new Test262Error('Expected preCheck to be true, actually ' + preCheck);
    }

    verifyEqualTo(obj, "foo", 10);

    verifyWritable(obj, "foo");

    verifyEnumerable(obj, "foo");

}

// preheat
const NUMBER_OF_PREHEAT = 1;
for (let i = 0; i < NUMBER_OF_PREHEAT; i++) {
    Test();
}

ArkTools.jitCompileAsync(Test);
assert.sameValue(ArkTools.waitJitCompileFinish(Test), true, '[JIT] JIT disabled.');

// test
const NUMBER_OF_TEST = 1; // or 2
for (let i = 0; i < NUMBER_OF_TEST; i++) {
    Test();
}
